-
1 program doğruluğu
program correctness -
2 доказательство правильности программы
доказательство правильности программы
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > доказательство правильности программы
-
3 prueba de corrección del programa
• program correctness proofDiccionario Técnico Español-Inglés > prueba de corrección del programa
-
4 dokaz korektnosti programa
• program correctness proof -
5 доказательство правильности программы
1) Computers: program proof2) Information technology: program correctness proofУниверсальный русско-английский словарь > доказательство правильности программы
-
6 corrección
f.1 correction, editing, adjustment, amendment.2 correctness, refinement, good manners, correction.3 admonition, chastisement, punishment, correction.4 patch.* * *1 (rectificación) correction2 (educación) courtesy, correctness, politeness, good manners plural3 (reprensión) rebuke4 (en impresión) proofreading\tratar con corrección to be politecorrección de pruebas proofreading* * *noun f.* * *SF1) (=arreglo) correctioncorrección de pruebas — (Tip) proofreading
corrección por líneas — (Inform) line editing
2) (=censura) rebuke, reprimand; (=castigo) punishment3) (=perfección) correctness4) (=cortesía) courtesy, good manners* * *1)a) ( buenos modales)vestir con corrección — to dress correctly o properly
b) ( honestidad) correctnessc) ( propiedad)2)a) ( de exámenes) correctionb) (enmienda, rectificación) correction•* * *= amending, amendment, correction, correctness, emendation, correctiveness, propriety, rectification.Ex. Store permits the processing of the information that it contains, but, after processing, the data in the store differs from the initial content (for example, in the editing and amending of catalogue records).Ex. The headings consequently correspond to current American usage in both use of terms and spelling and often need amendment to make them consistent with local usage.Ex. Almost all papers, notes, reviews, corrections and correspondence published in many scientific and other journals contain citations to associated works.Ex. Only entries without cross-references and notes may be changed because the system cannot judge the correctness of the cross-references and notes for the changed entry.Ex. His largest group of intentional alterations consisted of 27 relatively minor emendations, mostly wrong-headed.Ex. Exuberance and enthusiasm are proper to the young, as Quintillian remarked: 'The young should be daring and inventive and should rejoice in their inventions, even though correctiveness and severity are still to be acquired'.Ex. Dissatisfaction is being expressed with the public library's feminised world of propriety and respectability.Ex. The advantages of viewing stock verification as stock rectification are discussed.----* corrección automática = machine-editing.* corrección de pruebas = proofreading, proof correction.* correcciones de autor = author's corrections.* corrección formal = elements of due process, due process, procedural justice.* corrección ortográfica = spell checking.* corrección política = political correctness.* departamento de corrección de menores = department of corrections.* función de corrección = editing function.* programa de corrección ortográfica = spelling correction program.* * *1)a) ( buenos modales)vestir con corrección — to dress correctly o properly
b) ( honestidad) correctnessc) ( propiedad)2)a) ( de exámenes) correctionb) (enmienda, rectificación) correction•* * *= amending, amendment, correction, correctness, emendation, correctiveness, propriety, rectification.Ex: Store permits the processing of the information that it contains, but, after processing, the data in the store differs from the initial content (for example, in the editing and amending of catalogue records).
Ex: The headings consequently correspond to current American usage in both use of terms and spelling and often need amendment to make them consistent with local usage.Ex: Almost all papers, notes, reviews, corrections and correspondence published in many scientific and other journals contain citations to associated works.Ex: Only entries without cross-references and notes may be changed because the system cannot judge the correctness of the cross-references and notes for the changed entry.Ex: His largest group of intentional alterations consisted of 27 relatively minor emendations, mostly wrong-headed.Ex: Exuberance and enthusiasm are proper to the young, as Quintillian remarked: 'The young should be daring and inventive and should rejoice in their inventions, even though correctiveness and severity are still to be acquired'.Ex: Dissatisfaction is being expressed with the public library's feminised world of propriety and respectability.Ex: The advantages of viewing stock verification as stock rectification are discussed.* corrección automática = machine-editing.* corrección de pruebas = proofreading, proof correction.* correcciones de autor = author's corrections.* corrección formal = elements of due process, due process, procedural justice.* corrección ortográfica = spell checking.* corrección política = political correctness.* departamento de corrección de menores = department of corrections.* función de corrección = editing function.* programa de corrección ortográfica = spelling correction program.* * *A1(buenos modales): es un hombre de una gran corrección he is very well-mannered o correctsiempre viste con corrección she always dresses very correctly o properlyse comportó con la corrección que lo caracteriza he behaved with characteristic good manners o correctness o decorum2 (honestidad) correctness3(propiedad): habla los dos idiomas con corrección he speaks both languages accurately o well o correctlyCompuesto:political correctnessB1 (de exámenes) correction2 (enmienda, rectificación) correctionCompuestos:proofreadingspell-checkingC ( Fin) tbcorrección bursátil correctionCompuesto:downward correction* * *
corrección sustantivo femenino
1a) ( buenos modales):◊ es un hombre de una gran corrección he is very well-mannered o correct;
vestir con corrección to dress correctly o properly
c) ( propiedad):◊ habla el francés con corrección he speaks French well o correctly
2 (de exámenes, errores) correction;
corrección sustantivo femenino
1 (rectificación) correction
2 (urbanidad) courtesy, politeness
' corrección' also found in these entries:
Spanish:
formalidad
- revisar
- proceder
- propiedad
English:
correction
- amendment
* * *corrección nf1. [de error] correction;[de examen] marking; [de texto] revision Informát corrección de color colour correction;corrección de pruebas proofreading2. [cambio, enmienda] correction;el texto sólo tenía tres correcciones the text only had three corrections3. [perfección] correctness4. [de comportamiento] courtesy;se comportó distantemente con nosotros pero con mucha corrección he was distant but very correct in the way he behaved towards uscorrección política political correctness5. [reprimenda] reprimand* * *f* * *corrección nf, pl - ciones1) : correction2) : correctness, propriety3) : rebuke, reprimand4)corrección de pruebas : proofreading* * *corrección n correction
См. также в других словарях:
Program analysis — For other uses, see Program analysis (disambiguation). In computer science, program analysis is the process of automatically analysing the behavior of computer programs. Two main approaches in program analysis are static program analysis and… … Wikipedia
Program analysis (computer science) — Computer program analysis is the process of automatically analysing the behavior of computerprograms.Two main approaches in program analysis are static program analysisand dynamic program analysis.Main applications of program analysis are program … Wikipedia
Correctness (computer science) — In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a specification. Functional correctness refers to the input output behaviour of the algorithm (i.e., for each… … Wikipedia
Program derivation — In computer science, program derivation is the derivation of a program from its specification, by mathematical means.To derive a program means to write a formal specification, which is usually non executable, and then apply mathematically correct … Wikipedia
Const-correctness — In computer science, const correctness is the form of program correctness that deals with the proper declaration of objects as mutable or immutable. The term is mostly used in a C or C++ context, and takes its name from the const keyword in those … Wikipedia
const-correctness — In computer science, const correctness is the form of program correctness that deals with the proper declaration of objects as mutable or immutable. The term is mostly used in a C or C++ context, and takes its name from the const keyword in those … Wikipedia
Political correctness — Politically incorrect redirects here. For other uses, see Politically incorrect (disambiguation). Political correctness (adjectivally, politically correct; both forms commonly abbreviated to PC) is a term which denotes language, ideas, policies,… … Wikipedia
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
Structured programming — can be seen as a subset or subdiscipline of procedural programming, one of the major programming paradigms. It is most famous for removing or reducing reliance on the GOTO statement.Historically, several different structuring techniques or… … Wikipedia
Programming language specification — A programming language specification is an artifact that defines a programming language so that users and implementors can agree on what programs in that language mean.A programming language specification can take several forms, including the… … Wikipedia
Extended ML — is a specification language created by Kahrs, Sannella and Tarlecki based on the ML programming language. It extends the syntax of ML to include axioms, which need not be executable but can rigorously specify the behavior of the program. With… … Wikipedia
